eta conversion
#ラムダ計算
$ f =_\eta \lambda x. f x
関数の引数をラムダ抽象を使って明示的にする｡
特に左辺から右辺への変換を
eta expansion
と言い､
value restriction
から多相性の回復を始めとした型システムとうまく付き合っていくときに使われるテクである｡